针对时间抽象状态机(TASM)存在的不足, 对TASM进行扩展, 增加数组数据类型、while循环处理规则以及“%”, “&”, “|”, “^”, “>>”和“<<”等运算符, 定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模, 通过实验, 验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。
